Principal Component Analysis Dimensionality Reduction With Proof